public class Module {
    enum Status { Success, TryAgain, ThatsAll, NotFound };
    Status status = null;
    public Stack<Choicepoint> tryToContinue
        (Compound term, int choice, Stack<Choicepoint> choicepoints, Unifier unifier) {
        status = Module.Status.NotFound;
        return choicepoints;
    }
}
